<?

function actualizacion($x){
if ($x=='') {
  $archivo = $_SERVER['SCRIPT_FILENAME'].$nombre;           //$_SERVER['DOCUMENT_ROOT'].$nombre
} else {
  $archivo = $x;
} 
  $actual = filemtime($archivo);
return $actual;
}

?>